var xsj_1813233 = 9.3;